42.59/46.03	unsat
