3.79/6.38	unsat
