13.26/13.71	unsat
