4.87/5.46	unsat
