40.45/41.03	unsat
