1019.42/1026.47	unsat
