41.50/43.71	unsat
