15.86/18.03	unsat
