43.79/47.45	unsat
