5.21/5.83	unsat
