5.77/8.59	unsat
