4.77/6.36	unsat
