39.96/42.15	unsat
