13.27/16.03	unsat
