42.84/46.26	unsat
