3.87/6.38	unsat
