42.77/42.97	unsat
