13.27/16.10	unsat
