6.27/6.49	unsat
