42.18/42.21	unsat
