13.38/13.48	unsat
