42.06/42.13	unsat
