105.38/108.51	unsat
