13.46/16.03	unsat
