13.32/16.01	unsat
