4.99/6.53	unsat
