5.24/5.66	unsat
