13.27/14.84	unsat
