5.24/5.54	unsat
