5.48/5.52	unsat
