4.91/6.38	unsat
