41.78/45.45	unsat
