95.86/143.49	unsat
