1.19/6.62	unsat
